On completeness

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Remarks on completeness of lattice-valued Cauchy spaces

We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.

متن کامل

Henkin on Completeness

The Completeness of Formal Systems is the title of the thesis that Henkin presented at Princenton in 1947, under the guiadance of Alonzo Church. His renowned results on completeness for both type theory and first order logic are part of his thesis. It is interesting to note that he obtained the proof of completeness of first order logic readapting the argument found for the theory of types. It ...

متن کامل

ON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES

In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...

متن کامل

On Denotational Completeness

The founding idea of linear logic is the duality between A and A⊥, with values in ⊥. This idea is at work in the original denotational semantics of linear logic, coherent spaces, but also in the phase semantics of linear logic, where the bilinear form which induces the duality is nothing but the product in a monoid M, ⊥ being an arbitrary subset B of M. The rather crude phase semantics has the ...

متن کامل

Notes on NP Completeness

Here are some notes which I wrote to try to understand what NP completeness means. Most of these notes are taken from Appendix B in Douglas West’s graph theory book, and also from wikipedia. There’s nothing remotely original about these notes. I just wanted all this material to filter through my brain and onto paper. I also wanted to collect everything together in a way I like. Here’s what thes...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Pacific Journal of Mathematics

سال: 1971

ISSN: 0030-8730,0030-8730

DOI: 10.2140/pjm.1971.38.431